Logic in computer science - PDFSEARCH.IO - Document Search Engine

Logic in computer science
Results: 2713

#	Item
871	Journal of Artificial Intelligence Research606 Submitted 11/07; publishedSATzilla: Portfolio-based Algorithm Selection for SAT Lin Xu Add to Reading List Source URL: jair.org Language: English - Date: 2008-07-01 13:34:37 NP-complete problems Logic in computer science Electronic design automation Formal methods Boolean algebra Boolean satisfiability problem Algorithm Computational complexity theory Solver Theoretical computer science Applied mathematics Mathematics
872	Proposal for a tutorial on “Teaching Formal Methods to Novices” Satellite event to FM’08 Topic Teaching formal methods to students in high school and introductory university courses Add to Reading List Source URL: www.fm2008.abo.fi Language: English - Date: 2007-12-18 08:37:50 Structured derivations Software development Logic in computer science Software engineering Invariant-based programming Formal verification Invariant Formal methods Mathematics education Mathematics
873	WP 0.7 WP Plug-in Manual Version 0.7 for FluorinePatrick Baudin, Loïc Correnson, Zaynah Dargaye Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:46 Computer programming Logic in computer science Predicate transformer semantics Frama-C Hoare logic Pointer Precondition Assertion Theoretical computer science Program logic Software engineering
874	Activity ReportProject-Team GALLIUM Programming languages, types, compilation and proofs Add to Reading List Source URL: raweb.inria.fr Language: English - Date: 2015-03-19 08:23:41 Functional languages Type theory Logic in computer science Theoretical computer science Formal methods OCaml Coq Type system Formal verification Software engineering Computing Programming language theory
875	A Formal Embedding of AgentSpeak(L) in 3APL Koen Hindriks, Frank S. de Boer, Wiebe van der Hoek and John-Jules Ch. Meyer University Utrecht, Department of Computer Science P.O. Box, 3508 TB Utrecht, The Netherland Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 1998-12-14 07:37:21 Applied mathematics AgentSpeak Operational semantics Bisimulation Programming language Agent-based model State transition system 3APL Logic programming Multi-agent systems Computing Theoretical computer science
876	Context-Sensitive Equivalences for Non-Interference based Protocol Analysis ? Michele Bugliesi, Ambra Ceccato, and Sabina Rossi Dipartimento di Informatica, Universit`a Ca’ Foscari di Venezia via Torino 155, 30172 Vene Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:55:04 Bisimulation Logic in computer science Golden ratio Numbers Μ operator Mathematics Theoretical computer science Applied mathematics
877	Benefits of Peer-led Team Learning in CS Dr. Barbara G. Ryder J. Byran Maupin Professor of Engineering Head - Dept. of Computer Science Virginia Tech Add to Reading List Source URL: people.cs.vt.edu Language: English - Date: 2013-03-24 21:10:58 Theoretical computer science B.G. Object-oriented programming Coin problem Mathematics Algorithm Mathematical logic
878	Conditional Circular Coinductive Rewriting with Case Analysis Joseph Goguen1 , Kai Lin1 , Grigore Rosu2 Department of Computer Science & Engineering University of California at San Diego, USA 2 Add to Reading List Source URL: cseweb.ucsd.edu Language: English - Date: 2003-01-31 19:38:39 Logic Logic in computer science Mathematical logic Model theory Rewriting Monad Structural induction Interpretation Mathematics Theoretical computer science Formal languages
879	Activity ReportProject-Team GALLIUM Programming languages, types, compilation and proofs Add to Reading List Source URL: raweb.inria.fr Language: English - Date: 2012-03-09 11:37:19 Functional languages Type theory Logic in computer science Procedural programming languages Formal methods OCaml Type system Coq ML Software engineering Computing Programming language theory
880	Model Checking Using SMT and Theory of Lists Aleksandar Milicevic1 and Hillel Kugler2 1 Massachusetts Institute of Technology (MIT), Cambridge, MA, USA Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2012-02-19 15:58:07 Electronic design automation Formal methods Logic in computer science NP-complete problems Constraint programming Satisfiability Modulo Theories Phase transition Infinite loop FO Theoretical computer science Mathematics Applied mathematics

UPDATE